-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b  methode formelle  methode formelle b  modèle abstrait  système prouvé 
www.methode-b.com - 2009-02-11
-
Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
www.atelierb.eu - 2009-03-09
|
informatique
avocat
machine abstraite
multimédia
droit
langage b
avocats
méthode b
noms de domaines
conception
méthode formelle
internet
negocios
atelier b
juridique
entreprise
industrie
|
|